Module isotope::value::relationships[][src]

Expand description

Relationships between instants

Structs

Relationship

A relationship between relations

Constants

CN

Always false

EQ

One instant is equal to another

GE

One instant is after another

GT

One instant is strictly after another

LE

One instant is before another

LT

One instant is strictly before another

NE

One instant is not equal to another

TV

Always true, inducing a false dependency between instants